Kurt Gödel (1906 - 1978) was a preeminent logician of the twentieth century, renowned for his pivotal contributions to the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. His work also encompassed constructivity, the decision problem, and the foundations of computability theory, alongside a distinctive philosophical perspective on mathematics. Less recognized is his exploration of unique cosmological models that suggest the theoretical possibility of time travel into the past. The Collected Works serves as a significant compilation of Gödel's intellectual legacy. The first two volumes present his published works in full, both in original form and translation, while the third volume includes a selection of unpublished articles and lecture texts from Gödel's Nachlass. The final two volumes feature Gödel's correspondence on logical, philosophical, and scientific topics, with Volume IV covering A to G and Volume V covering H to Z, along with a complete inventory of his Nachlass. Each volume includes introductory notes with extensive commentary, English translations of German texts, and a comprehensive bibliography. This edition aims to be accessible to a broad audience, making it an essential resource for professionals and students in various fields, as well as anyone interested in the insights of one of the twentieth century's great minds.
